منابع مشابه
A Reconstruction of Aristotle’s Modal Syllogistic
Ever since Łukasiewicz, it has been opinio communis that Aristotle’s modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this paper is to disprove these claims by giving such a model. My main points shall be, first, that Aristotle’s syllogistic is a pure term logic that does no...
متن کاملPr ecis of Aristotle’s Modal Syllogistic
Aristotle was the founder of modal logic. In his Prior Analytics, he developed a complex system of modal syllogistic. While influential, this system has been disputed since antiquity and is today widely regarded as incoherent or inconsistent. In view of this, Aristotle’s Modal Syllogistic explores the prospects for understanding the modal syllogistic as a coherent and consistent system of modal...
متن کاملOn the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
We introduce a multi-sorted stratified syllogistic, called 4LQS, admitting variables of four sorts and a restricted form of quantification over variables of the first three sorts, and prove that it has a solvable satisfiability problem by showing that it enjoys a small model property. Then, we consider the fragments (4LQS) of 4LQS, consisting of 4LQS-formulae whose quantifier prefixes have leng...
متن کاملExtending Syllogistic Reasoning
In this paper syllogistic logic is extended first to full propositional logic, and then an interesting fragment of predicate logic that
متن کاملSyllogistic Logic with Complements
This paper continues the development of complete fragments of natural language by adding a noun-level complement operator to the basic syllogistic language of All X are Y and Some X are Y : in the fragment of this paper we can also say, for example, Some non-X are Y . We axiomatize this logic of this fragment in two ways: in a direct fashion, allowing the inference of an arbitrary sentence from...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1991
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635752